Feynman integral reduction using Gröbner bases
نویسندگان
چکیده
A bstract We investigate the reduction of Feynman integrals to master using Gröbner bases in a rational double-shift algebra Y which integration-by-parts (IBP) relations form left ideal. The problem reducing given family can then be solved once and for all by computing basis ideal formed IBP relations. demonstrate this explicitly several examples. introduce so-called first-order normal-form we obtain shift operators modulo For more complicated cases, where is computationally expensive, develop an ansatz based on linear over function field
منابع مشابه
Algorithm FIRE — Feynman Integral REduction
The recently developed algorithm FIRE performs the reduction of Feynman integrals to master integrals. It is based on a number of strategies, such as applying the Laporta algorithm, the s-bases algorithm, region-bases and integrating explicitly over loop momenta when possible. Currently it is being used in complicated three-loop calculations. Supported by RFBR grant 08-02-01451-a and DFG throug...
متن کاملEquivalence checking using Gröbner bases
Motivated by the recent success of the algebraic computation technique in formal verification of large and optimized gate-level multipliers, this paper proposes algebraic equivalence checking for handling circuits that contain both complex arithmetic components as well as control logic. These circuits pose major challenges for existing proof techniques. The basic idea of Algebraic Combinational...
متن کاملMultiplicative Bases, Gröbner Bases, and Right Gröbner Bases
Before surveying the results of the paper, we introduce path algebras. Path algebras play a central role in the representation theory of finite-dimensional algebras (Gabriel, 1980; Auslander et al., 1995; Bardzell, 1997) and the theory of Gröbner bases (Bergman, 1978; Mora, 1986; Farkas et al., 1993) has been an important tool in some results (Feustel et al., 1993; Green and Huang, 1995; Bardze...
متن کاملReduze - Feynman integral reduction in C++
Reduze is a computer program for reducing Feynman integrals to master integrals employing a Laporta algorithm. The program is written in C++ and uses classes provided by the GiNaC library to perform the simplifications of the algebraic prefactors in the system of equations. Reduze offers the possibility to run reductions in parallel. Catalogue identifier: AEGEv10ProgramsummaryURL : http : //cpc...
متن کاملDecoding Affine Variety Codes Using Gröbner Bases
We define a class of codes that we call affine variety codes. These codes are obtained by evaluating functions in the coordinate ring of an affine variety on all the Fq-rational points of the variety. We show that one can, at least in theory, decode these codes up to half the true minimum distance by using the theory of Gröbner bases. We extend results of A. B. Cooper and of X. Chen, I. S. Reed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of High Energy Physics
سال: 2023
ISSN: ['1127-2236', '1126-6708', '1029-8479']
DOI: https://doi.org/10.1007/jhep05(2023)168